<?php
class HelloWorld
{
}